A model transformation-based approach for the Dependability analysis of UML-based system designs with maintenance

In this document a novel model transformation-based approach is de ned which can automatically generate models for dependability analysis of annotated UML-based systems. The method is capable of dealing with the dependability properties of the system components along with the maintenance policies and activities de ned for the system. Developers of complex systems today use modeling languages like UML to specify, document and visualize the requirements, functionality and behavior of their product. Often extension or pro les are used to grasp the characteristics of domain-speci c systems. Furthermore the non-functional properties such as availability or fault-tolerance are important especially in embedded and real-time systems and service-critical applications hence the quantitative evaluation of these properties are required at design-time. However evaluation can only be carried out on precise mathematical models the creation of which is not trivial and needs a modeling expert with insight to both the developed system or its speci cation language and the mathematical formalism used for the dependability models. In order to relieve the developer from the tiresome and error-prone task of model creation new methods have to be created to bridge the huge gap between the speci cation and dependability models. The method de ned in this document provides automatic dependability model generation through the usage of a novel UML pro le. This pro le extends the industry standard MARTE pro le which is widely used for the development of embedded and real-time systems with the concepts of maintenance and monitoring. Additionally the Service-Oriented Pro le is extended by de ning new characteristics for the non-functional service-contracts and thus the method provides support for the dependability evaluation of systems with service-oriented architecture. The method was created according to the Model-Driven Architecture (MDA) paradigm and involves an intermediate dependability domain-speci c model that acts as a transition between the speci cation and dependability models. The metamodels and transformations required for the automatic execution of the approach can be implemented using the Eclipsebased VIATRA model transformation framework. Both the use of the VIATRA framework and the embracing of the MDA paradigm assures the possibility of future extensions. This work was partially supported by the SENSORIA European project (IST-3-016004) and ResilTech.